|
Verifikace koncového bodu v síti SpaceWire
Peroutka, Ondřej ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
Tématem této bakalářské práce je verifikace SpaceWire IP coru vytvořeného na Ústavu mikroelektroniky Fakulty elektrotechniky a komunikačních technologií, VUT v Brně. Práce má 3 hlavní části. V první části práce je stručný popis standardu SpaceWire. Druhá část práce se zabývá teoretickým popisem verifikace. Poslední část práce se věnuje praktické části verifikace koncového bodu sítě SpaceWire.
|
|
Návrh digitálního decimačního filtru v technologii CMOS
Toman, Petr ; Pristach, Marián (oponent) ; Fujcik, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá návrhem digitálního decimačního filtru pro podvzorkování a filtraci signálu ze sigma-delta AD převodníku. Je proveden návrh kaskády filtrů v programu Matlab podle zadaných požadavků, který je následně popsán v jazyce VHDL s ohledem na minimální spotřebu plochy. Funkce implementované struktury filtru je následně porovnána s referenčními filtry získanými z Matlabu ve vytvořeném verifikačním prostředí. Na závěr je provedena syntéza v zadané technologii a verifikace filtru na hradlové úrovni.
|
|
Kodér a dekodér samoopravného kódu pro programovatelné paměti typu ROM
Bareš, Jan ; Dvořák, Vojtěch (oponent) ; Šťáva, Martin (vedoucí práce)
Práce se zabývá teorií kódování, analyzuje současné skupiny samoopravných kódů a popisuje vlastnosti a parametry vybraných zástupců těchto skupin. Na základě daných kritérií vybírá porovnáním těchto parametrů a vlastností rozšířený Hammingův kód jako vhodný kód pro zabezpečení paměti typu read-only-memory (ROM). Práce popisuje návrh syntetizovatelných modulů kodéru a dekodéru v jazyku VHDL. Dále vysvětluje princip činnosti vytvořené aplikace, která je schopna generovat tyto syntetizovatelné moduly. Pro ověření generovaných modulů vytváří verifikační prostředí, jehož součástí je i model paměti typu ROM, umožňující zápis libovolné chybové hodnoty do paměti. Na závěr provádí automatickou verifikaci generovaných modulů kodéru a dekodéru pro různé šířky vstupního informačního vektoru.
|
|
Verifikace koncového bodu v síti SpaceWire
Peroutka, Ondřej ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
Tématem této bakalářské práce je verifikace SpaceWire IP coru vytvořeného na Ústavu mikroelektroniky Fakulty elektrotechniky a komunikačních technologií, VUT v Brně. Práce má 3 hlavní části. V první části práce je stručný popis standardu SpaceWire. Druhá část práce se zabývá teoretickým popisem verifikace. Poslední část práce se věnuje praktické části verifikace koncového bodu sítě SpaceWire.
|
|
Kodér a dekodér samoopravného kódu pro programovatelné paměti typu ROM
Bareš, Jan ; Dvořák, Vojtěch (oponent) ; Šťáva, Martin (vedoucí práce)
Práce se zabývá teorií kódování, analyzuje současné skupiny samoopravných kódů a popisuje vlastnosti a parametry vybraných zástupců těchto skupin. Na základě daných kritérií vybírá porovnáním těchto parametrů a vlastností rozšířený Hammingův kód jako vhodný kód pro zabezpečení paměti typu read-only-memory (ROM). Práce popisuje návrh syntetizovatelných modulů kodéru a dekodéru v jazyku VHDL. Dále vysvětluje princip činnosti vytvořené aplikace, která je schopna generovat tyto syntetizovatelné moduly. Pro ověření generovaných modulů vytváří verifikační prostředí, jehož součástí je i model paměti typu ROM, umožňující zápis libovolné chybové hodnoty do paměti. Na závěr provádí automatickou verifikaci generovaných modulů kodéru a dekodéru pro různé šířky vstupního informačního vektoru.
|
|
Návrh digitálního decimačního filtru v technologii CMOS
Toman, Petr ; Pristach, Marián (oponent) ; Fujcik, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá návrhem digitálního decimačního filtru pro podvzorkování a filtraci signálu ze sigma-delta AD převodníku. Je proveden návrh kaskády filtrů v programu Matlab podle zadaných požadavků, který je následně popsán v jazyce VHDL s ohledem na minimální spotřebu plochy. Funkce implementované struktury filtru je následně porovnána s referenčními filtry získanými z Matlabu ve vytvořeném verifikačním prostředí. Na závěr je provedena syntéza v zadané technologii a verifikace filtru na hradlové úrovni.
|